$\forall$$a$,$b$:rationals. {-}($a$ + $b$) = ({-}($b$) + {-}($a$)) $\in$ rationals